home *** CD-ROM | disk | FTP | other *** search
/ The Atari Compendium / The Atari Compendium (Toad Computers) (1994).iso / files / prgtools / langs / isetl.arc / quant.t < prev    next >
Encoding:
Text File  |  1987-08-20  |  276 b   |  12 lines

  1. program quant;
  2.     if forall i in [1..2], j in [1..2], k in [1..2] | i + j + k < 10
  3.     then print "correct";
  4.     else print "wrong";
  5.     end;
  6.  
  7.     if forall i in [1..2], j in [1..2], k in [1..2] | i + j + k < 5
  8.     then print "wrong";
  9.     else print "correct";
  10.     end;
  11. end;
  12.